On the Robustness of Qualitative Distance- and Direction-Reasoning* Jung-Hong Hong Department of Surveying Engineering National Cheng-Kung University

Source URL: mapcontext.com

• Cognition
• Reasoning
• Cognitive science
• Logic
• Knowledge representation
• Constraint programming
• Educational psychology
• Spatialtemporal reasoning
• Qualitative reasoning
• Spatial relation
• Reasoning system
• Andrew U. Frank

CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel

Source URL: www.fields.utoronto.ca

• Logic
• Constraint programming
• Constraint satisfaction problem
• Model theory
• Abstraction
• Philosophy
• Constraint satisfaction
• Satisfiability
• Algebraic structure

Second International Conference on Multiagent SystemsDistributed Breakout Algorithm for Solving Distributed Constraint Satisfaction Problems Makoto Yokoo

Source URL: agent.inf.kyushu-u.ac.jp

• Constraint programming
• Mathematics
• Constraint satisfaction problem
• Constraint satisfaction
• Algorithm
• Shortest path problem
• Theoretical computer science
• Min-conflicts algorithm
• Distributed constraint optimization

Reasoning about XML Update Constraints∗ Bogdan Cautis Serge Abiteboul INRIA Futurs & U. Paris Sud

Source URL: www.cs.tau.ac.il

• Constraint programming
• XPath
• FO
• XML tree
• Computing
• Software engineering
• Theoretical computer science
• Decomposition method
• Local consistency

International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer

Source URL: www.neil.dantam.name

• Theoretical computer science
• Robot kinematics
• Constraint programming
• NP-complete problems
• Motion planning
• Pursuit-evasion
• Satisfiability modulo theories
• Automated planning and scheduling
• Liveness

Other building constructions English version – SOSI standard 4.0 Other building constructions English version – SOSI standard 4.0 Other building constructions English version – SOSI standard 4.0 Other building c

Source URL: kartverket.no

AAAI Proceedings Template

Source URL: qr15.sift.net

• Knowledge representation
• Reasoning
• Constraint programming
• Cognition
• Computational topology
• Region connection calculus
• Mathematics
• Cognitive science
• Logic

Journal of Machine Learning Research–72 Submitted 10/01; Published 7/02 On the Convergence of Optimistic Policy Iteration John N. Tsitsiklis

Source URL: www.ai.mit.edu

• Computational science
• Numerical analysis
• Applied mathematics
• Computational chemistry
• Constraint algorithm
• Dynamic programming
• Reinforcement learning

Revisiting ADOPT-ing and its Feedback Schemes Marius C. Silaghi Florida Institute of Technology Makoto Yokoo Kyushu University

Source URL: agent.inf.kyushu-u.ac.jp

• Constraint programming
• Distributed constraint optimization
• Weighted constraint satisfaction problem
• Constraint satisfaction problem

Terrain English version – SOSI standard 4.0

Source URL: kartverket.no

• Software engineering
• Mathematical optimization
• Constraint
• Contour line
• Class
• Computer programming
• Computing